Separating sequence overlap for automated test sequence generation
نویسندگان
چکیده
منابع مشابه
Automated Rover Sequence Report Generation
A web-based rover mission operations report and its various elements are described. The system was used for documentation of the Field Integrated Design and Operations (FIDO) rover May 2000 field test and results from the field test are provided. Implementation of automated sequence report generation for the operations report is explained in detail.
متن کاملTest Sequence Generation for Distributed Software System
This paper considers the test case generation for distributed software (a test case contains one or more test sequences). Applying the single finite state machine (FSM) test approach to distributed software, we will suffer from some problems: 1) the state combinatorial explosion problem; 2) some unexecutable test cases may be generated; 3) some fault may be masked and cannot be isolated accurat...
متن کاملTransforming Message Sequence Charts for Testing Automated Test Code Generation for Different Abstraction Layers
In this paper we describe experiences gained from using Message Sequence Charts (MSCs) for the specification and execution of tests. Using a test code generator (MSC2C) allows us to verify a system under test against the specified sequences. For executing one test specification on different test stages with different interfaces we applied transformation rules that transform abstract MSCs to con...
متن کاملTest-Sequence Generation from Formal Requirement Models
This paper discusses a method for generating test sequences from state-based specifications. We show how a model checker can be used to automatically generate complete test sequences that will provide arbitrary structural coverage of requirements specified in a high-level language like SCR or RSML−e. We have defined a language independent formal foundation for test sequence generation using mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automated Software Engineering
سال: 2006
ISSN: 0928-8910,1573-7535
DOI: 10.1007/s10515-006-7739-3